homomorphism preserves identities